Detection of LiveLock in BPMN Using Process Expression
نویسندگان
چکیده
Although the Business Process Modeling Notation (BPMN) is a popular tool for modeling business process in conceptual level, the result diagram may contain structural problem. One of the structural problems is livelock. In this problem, one token proceeds to end event, while other token is still in process with no progression. In this paper, we introduce an expression liked method to detect livelock in the BPMN diagram. Our approach utilizes the power of the declarative ability of expression to determine all of the possible process chains, and indicate whether there are livelock or not. As a result, we have shown that our method can detect livelock, if any.
منابع مشابه
Livelock and Deadlock Detection for PA Inter-organizational Business Processes
The Public Administration domain is characterized by the dominance of inter-organizational Business Processes. These are a set of interrelated and sequential activities shared and executed by two or more Public Administration officies to achieve a business objective that is of value to citizens or companies in term of services. A Business Process results from the un-trivial integration of inter...
متن کاملFormal Method in Service Composition in Heath Care Systems
One of the areas with greatest needs having available information at the right moment and with high accuracy is healthcare. Right information at right time saves lives. Healthcare is a vital domain which needs high processing power for high amounts of data. Due to the critical and the special characteristics of these systems, formal methods are used for specification, description and verificati...
متن کاملUsing BPMN to Model a BPEL Process
The Business Process Modeling Notation (BPMN) has been developed to enable business user to develop readily understandable graphical representations of business processes. BPMN is also supported with appropriate graphical object properties that will enable the generation of executable BPEL. Thus, BPMN creates a standardized bridge for the gap between the business process design and process impl...
متن کاملTranslating RAD Business Process Models into BPMN Models: A Semi-Formal Approach
Modelling business processes using BPMN has been emerging as the preferred choice for organisations seeking to enact their business processes in service-oriented environments. However, a number of organisations have their business processes modelled using Role Activity Diagramming, RAD. In this research, we introduce a new approach to translating RAD business process models to their respective ...
متن کاملRoSE: Reoccurring Structures Detection in BPMN 2.0 Process Model Collections
The detection of structural similarities of process models is frequently discussed in the literature. The state-of-the-art approaches for structural similarities of process models presume a known subgraph that is searched in a larger graph, and utilize behavioral and textual semantics to achieve their goal. In this paper we propose an approach to detect reoccurring structures in a collection of...
متن کامل